Traditional Logic, Modern Logic and Natural Language
نویسندگان
چکیده
منابع مشابه
Traditional Logic, Modern Logic and Natural Language
. . . Wikipedia [38] defines: traditional logic is ‘a loose name for the way of doing logic that began with Aristotle, and that was dominant until the advent of modern predicate logic in the late nineteenth century’. It is of great interest to place the transitions between traditional and modern logic. In this paper I will say where I think the main differences lie. In my last section I will co...
متن کاملNatural Logic for Natural Language
For a cognitive account of reasoning it is useful to factor out the syntactic aspect — the aspect that has to do with pattern matching and simple substitution — from the rest. The calculus of monotonicity, alias the calculus of natural logic, does precisely this, for it is a calculus of appropriate substitutions at marked positions in syntactic structures. We first introduce the semantic and th...
متن کاملFuzzy Logic and Natural Language
One of the most important features of fuzzy set theory and fuzzy logic is their power to model semantics of a certain part of natural language. The results are further elaborated in topics such as computing with words which encompasses computing with fuzzy numbers, the theory of evaluating linguistic expressions as well as that of fuzzy IF-THEN rules and approximate reasoning. In the talk, we w...
متن کاملNatural logic and natural language inference
We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, which has focused on semantic containment and monotonicity, by incorporating both semantic exclusion and implicativity. Our model decomposes an inference problem into a sequence of atomic edits lin...
متن کاملModern Type Theories for Natural Language Semantics (Introductory Course in Language and Logic)
Modern Type Theories (MTTs) provide us with a new framework for formal semantics with attractive advantages as compared to Montague Grammar. First, MTTs have rich type structures that can be employed effectively to capture various linguistic features that have proved difficult in the Montagovian setting. Second, MTTs are prooftheoretically specified and can hence be usefully implemented in proo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2009
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-009-9113-y